7721. Turbo pascal version 6.0 programmer's guide
پدیدآورنده :
کتابخانه: المكتبة المركزية ومركز المعلومات (خراسان رضوی)
موضوع : ، Pascal )Computer program language(,، Turbo Pascal )Computer file(,، Object-oriented programming )Computer science(
رده :
QA
76
.
73
.
P2
T875
1990
7722. Turbo pascal version 6.0 turbo vision guide
پدیدآورنده :
کتابخانه: المكتبة المركزية ومركز المعلومات (خراسان رضوی)
موضوع : ، Pascal )Computer program language(,، Object-oriented programming )Computer science(,، Turbo Pascal )Computer file(,، Turbo vision.
رده :
QA
76
.
73
.
P2
T87
1990
7723. Turbo vision version 2.0:programming guide
پدیدآورنده : Borland international Inc.
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Object-Oriented programming)computer science(
رده :
QA
76
.
64
.
B67T8
7724. Turbopascal system programming
پدیدآورنده : / M. Tischer
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Pascal (computer program language),Turbopascal (computer program),Systems programming (computer science)
رده :
QA76
.
73
.
P2T58
1991
7725. Tutorial : object-oriented computing
پدیدآورنده : )edited by( Gerald E. Peterson
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Object-oriented programming )Computer science(
رده :
QA
76
.
6
.
T875
1990
7726. Tutorial:object- oriented computing
پدیدآورنده : ]edited by [ Gerald E. peterson
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Object-oriented programming )computer science(
رده :
QA
76
.
6
.
T875
7727. Tutorials on emerging methodologies and applications in operations research :
پدیدآورنده : edited by Harvey J. Greenberg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Operations research, Congresses.
7728. Twisted Network Programming Essentials
پدیدآورنده : / Jessica McKellar, Abe Fettig
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
7729. Twisted Network Programming Essentials
پدیدآورنده : / McKellar, Jessica
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
7730. Two-level functional languages /
پدیدآورنده : Flemming Nielson, Hanne Riis Nielson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Functional programming languages.,génération code.,interprétation abstraite.,lambda calcul.,logique combinatoire.,théorie type.,Functional programming languages.,Functionele talen.,Funktionale Programmiersprache,Funktionale Programmiersprache.,Implementation,Implementierung,Implementierung.,Lambda-calcul.,Langages de programmation fonctionnelle.,Programmation fonctionnelle (informatique)
رده :
QA76
.
62
.
N54
1992
7731. Type theory and functional programming /
پدیدآورنده : Simon Thompson
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Functional programming (Computer science),Type theory
رده :
QA76
.
62
.
T46
1991
7732. Typed Lambda Calculi and Applications :
پدیدآورنده : edited by Masahito Hasegawa.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra -- Data processing.,Computer science.,Logic design.
رده :
QA9
.
5
E358
2013
7733. Typed Lambda Calculi and Applications :
پدیدآورنده : edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Lambda calculus -- Congresses.,Logic design.
رده :
QA9
.
5
E358
1995
7734. Types for proofs and programs
پدیدآورنده : / Paul Callaghan ... [et al.]
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Automatic theorem proving--Congresses,Computer programming--Congresses
رده :
QA
,
76
.
9
,.
A96
,
T96
,
2000
7735. Types for proofs and programs :
پدیدآورنده : Paul Callaghan ... [et al.]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic theorem proving, Congresses,Computer programming, Congresses
رده :
QA76
.
9
.
A96
T96
2000
7736. Types for proofs and programs :
پدیدآورنده : Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic theorem proving, Congresses,Computer programming, Congresses
رده :
QA76
.
9
.
A96
T96
2004
7737. Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers
پدیدآورنده : Paul Callaghan...]et al.[, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
2277
7738. Types for proofs and programs : International Workshop, TYPES'99, Kloster Irsee Germany, March 27-31, 1999: selected papers
پدیدآورنده : Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
1657
7739. Types for proofs and programs: International Workshop, TYPES'99, Lokeberg, Sweden, June 12-16, 1999 : selected papers
پدیدآورنده : Thierry Coquand...]et al.[, )Eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
1956
7740. Types for proofs and programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 : revised selected papers
پدیدآورنده : Stefano Berardi, Mario Coppo, Ferruccio Damiani )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
3085
